Economic Community—Political unity?

∀UNITY: A Theory of General UNITY

UNITY is a simple programming logic to reason about distributed systems. It is especially attractive because of its elegant axiomatical style. Since its power is limited, people introduce variants to extends it with various new functionalities. However, in the axiomatical style it is easy to make a mistake: a seemingly very logical new inference rule may turn out to be unsound. Formal verificat...

Rewriting UNITY

In this paper we describe the implementation of the UNITY formalism as an extension of general-purpose languages and show its translation to C abstract syntax using Phobos, our generic front-end in the Mojave compiler. Phobos uses term rewriting to define the syntax and semantics of arbitrary languages, and automates their translation to an internal compiler representation. Furthermore, it prov...

Toward the Unity and Integration of Knowledge: the Study of Political and Economic Philosophy

Today’s college students frequently encounter a fragmented intellectual scene in which disciplinary boundaries are merely artifacts of scholarship and not reflective of actual divisions in nature. Our curricula have been disjointed and eroded by the rise of specialization, departmentalization, and the emergence of voluminous new knowledge. The compartmentalization of atomized knowledge into dis...

Unity or Diversity? Market Integration and Long-run Economic Growth in Indonesia

Unity within psychology, and unity between science and practice.

The unity of psychology as a science is to be found in its definition as the science of mental life, and its explanation of individual behavior in terms of mental states. This disciplinary focus will help negotiate psychology's relations with other disciplines, such as neuroscience and cognitive science. The unity within psychology between science and practice is to be found in a focus on scien...